<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!-- NewPage -->
<html lang="en">
<head>
<title>CommandLineArguments</title>
<link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
</head>
<body>
<script type="text/javascript"><!--
    if (location.href.indexOf('is-external=true') == -1) {
        parent.document.title="CommandLineArguments";
    }
//-->
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a name="navbar_top">
<!--   -->
</a><a href="#skip-navbar_top" title="Skip navigation links"></a><a name="navbar_top_firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../mmj/util/Boss.html" title="class in mmj.util"><span class="strong">Prev Class</span></a></li>
<li><a href="../../mmj/util/DelimitedTextParser.html" title="class in mmj.util"><span class="strong">Next Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?mmj/util/CommandLineArguments.html" target="_top">Frames</a></li>
<li><a href="CommandLineArguments.html" target="_top">No Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../../allclasses-noframe.html">All Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_top");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li>Field&nbsp;|&nbsp;</li>
<li><a href="#constructor_summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li>Field&nbsp;|&nbsp;</li>
<li><a href="#constructor_detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_detail">Method</a></li>
</ul>
</div>
<a name="skip-navbar_top">
<!--   -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<!-- ======== START OF CLASS DATA ======== -->
<div class="header">
<div class="subTitle">mmj.util</div>
<h2 title="Class CommandLineArguments" class="title">Class CommandLineArguments</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li>java.lang.Object</li>
<li>
<ul class="inheritance">
<li>mmj.util.CommandLineArguments</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<hr>
<br>
<pre>public class <span class="strong">CommandLineArguments</span>
extends java.lang.Object</pre>
<div class="block">CommandLineArguments loads the arguments on the java command line into the
 <code>RunParmFile</code> and <code>Paths</code> objects.
 <p>
 This class is not general purpose. It is specific to mmj2's needs and is
 intended to localize everything related to the Command Line Arguments for
 easy use by <code>BatchFramework</code>.
 <p>
 Coincidentally (ha), the "String[] args" parameter for the constructor is the
 same as the BatchMMJ2 command line parms.</div>
</li>
</ul>
</div>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor_summary">
<!--   -->
</a>
<h3>Constructor Summary</h3>
<table class="overviewSummary" border="0" cellpadding="3" cellspacing="0" summary="Constructor Summary table, listing constructors, and an explanation">
<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colOne" scope="col">Constructor and Description</th>
</tr>
<tr class="altColor">
<td class="colOne"><code><strong><a href="../../mmj/util/CommandLineArguments.html#CommandLineArguments(java.lang.String[])">CommandLineArguments</a></strong>(java.lang.String[]&nbsp;args)</code>
<div class="block">Construct using "String[] args" parameters then load <code>Paths</code>,
 <code>RunParmFile</code>, displayMMJ2FailPopupWindow and testOption.</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ========== METHOD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="method_summary">
<!--   -->
</a>
<h3>Method Summary</h3>
<table class="overviewSummary" border="0" cellpadding="3" cellspacing="0" summary="Method Summary table, listing methods, and an explanation">
<caption><span>Methods</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Method and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/CommandLineArguments.html#getDisplayMMJ2FailPopupWindow()">getDisplayMMJ2FailPopupWindow</a></strong>()</code>
<div class="block">Returns the <code>displayMMJ2FailPopupWindow</code> value;</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code><a href="../../mmj/util/Paths.html" title="class in mmj.util">Paths</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/CommandLineArguments.html#getPaths()">getPaths</a></strong>()</code>
<div class="block">Returns the <code>Paths</code> object.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code><a href="../../mmj/util/RunParmFile.html" title="class in mmj.util">RunParmFile</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/CommandLineArguments.html#getRunParmFile()">getRunParmFile</a></strong>()</code>
<div class="block">Returns the <code>RunParmFile</code> object.</div>
</td>
</tr>
</table>
<ul class="blockList">
<li class="blockList"><a name="methods_inherited_from_class_java.lang.Object">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;java.lang.Object</h3>
<code>clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait</code></li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
<div class="details">
<ul class="blockList">
<li class="blockList">
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor_detail">
<!--   -->
</a>
<h3>Constructor Detail</h3>
<a name="CommandLineArguments(java.lang.String[])">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>CommandLineArguments</h4>
<pre>public&nbsp;CommandLineArguments(java.lang.String[]&nbsp;args)
                     throws java.io.IOException,
                            java.lang.IllegalArgumentException</pre>
<div class="block">Construct using "String[] args" parameters then load <code>Paths</code>,
 <code>RunParmFile</code>, displayMMJ2FailPopupWindow and testOption.
 <p>
 <b>args:</b>
 <ol>
 <li>args[0] = RunParmFileName. Required. May be relative or absolute path
 name.
 <ul>
 <li>If relative path then mmj2Path applied as parent path if specified;
 otherwise Current Path used (by system).
 <li>If absolute then mmj2Path is ignored.
 </ul>
 <li>args[1] = displayMMJ2FailPopupWindow. Optional. May be "y" or "n"
 (case-insensitive), or " ". Default setting is "y". Triggers popup window
 displaying mmj2 error message if mmj2 startup errors or mmj2 "fatal"
 errors. If any CommandLineArguments are in error the default setting is
 used regardless of this argument.
 <li>args[2] = mmj2Path. Optional. May be blank or empty string. If no
 path specified the default path for mmj2 files is Current Path (unless
 otherwise indicated in the documentation -- e.g. ProofAsstProofFolder).
 <li>args[3] = metamathPath. Optional. May be blank or empty string. If no
 path specified the default path for Metamath files is Current Path
 (unless otherwise indicated in the documentation -- e.g.
 GMFFParseMetamathTypesetComment).
 <li>args[4] = svcPath. Optional. May be blank or empty string. If no path
 specified the default path for the mmj2 Service Feature is Current Path.
 </ol></div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>args</code> - Array of String. runParmFileName, displayMMJ2FailPopupWindow,
            mmj2Path, metamathPath, svcPath, testOption.</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.io.IOException</code> - if an error occurred</dd>
<dd><code>java.lang.IllegalArgumentException</code> - if errors found.</dd></dl>
</li>
</ul>
</li>
</ul>
<!-- ============ METHOD DETAIL ========== -->
<ul class="blockList">
<li class="blockList"><a name="method_detail">
<!--   -->
</a>
<h3>Method Detail</h3>
<a name="getPaths()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getPaths</h4>
<pre>public&nbsp;<a href="../../mmj/util/Paths.html" title="class in mmj.util">Paths</a>&nbsp;getPaths()</pre>
<div class="block">Returns the <code>Paths</code> object.</div>
<dl><dt><span class="strong">Returns:</span></dt><dd>The <code>Paths</code> object.</dd></dl>
</li>
</ul>
<a name="getRunParmFile()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getRunParmFile</h4>
<pre>public&nbsp;<a href="../../mmj/util/RunParmFile.html" title="class in mmj.util">RunParmFile</a>&nbsp;getRunParmFile()</pre>
<div class="block">Returns the <code>RunParmFile</code> object.</div>
<dl><dt><span class="strong">Returns:</span></dt><dd>The <code>RunParmFile</code> object.</dd></dl>
</li>
</ul>
<a name="getDisplayMMJ2FailPopupWindow()">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>getDisplayMMJ2FailPopupWindow</h4>
<pre>public&nbsp;boolean&nbsp;getDisplayMMJ2FailPopupWindow()</pre>
<div class="block">Returns the <code>displayMMJ2FailPopupWindow</code> value;</div>
<dl><dt><span class="strong">Returns:</span></dt><dd>The <code>displayMMJ2FailPopupWindow</code> value;</dd></dl>
</li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
</div>
<!-- ========= END OF CLASS DATA ========= -->
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a name="navbar_bottom">
<!--   -->
</a><a href="#skip-navbar_bottom" title="Skip navigation links"></a><a name="navbar_bottom_firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../mmj/util/Boss.html" title="class in mmj.util"><span class="strong">Prev Class</span></a></li>
<li><a href="../../mmj/util/DelimitedTextParser.html" title="class in mmj.util"><span class="strong">Next Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?mmj/util/CommandLineArguments.html" target="_top">Frames</a></li>
<li><a href="CommandLineArguments.html" target="_top">No Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../../allclasses-noframe.html">All Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li>Field&nbsp;|&nbsp;</li>
<li><a href="#constructor_summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li>Field&nbsp;|&nbsp;</li>
<li><a href="#constructor_detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_detail">Method</a></li>
</ul>
</div>
<a name="skip-navbar_bottom">
<!--   -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</body>
</html>
